perm filename TEST.B[P,JRA] blob sn#062835 filedate 1973-09-20 generic text, type T, neo UTF8
00100	PRE_PRED:A,B;
00150	PRE_OP:a;
00200	HYPS:A(a)⊃B;
00300	    ¬A(a)⊃B;
00400	THM:B;
00500	;